حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی

author

  • مرتضی منیری دانشگاه شهید بهشتی، گروه ریاضی مرکز تحقیقات فیزیک نظری و ریاضیات
Abstract:

در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

پیچیدگی کولموگروف در نظریه های صوری حساب

-

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

ساختن اندازه هار در زیرنظریه هایی از حساب مرتبه دوم با ارزشهای نااستاندارد یا استاندارد

در این پایان نامه به توصیف نتایج ‏‎tanaka-yamazaki‎‏ که در سال 2000 میلادی در ‏‎j.symbolic logic‎‏ به چاپ رسیده است می پردازیم که در آن مطالعه ریاضیات وارونه وجود (و یکتایی) اندازه هار برای گروههای فشرده جدایی پذیر (دارای مدول پیوستگی یکنواخت برای دو عمل) پرداخته می شود. نشان داده می شود که وجود‏‎‎‏ اندازه هار برای گروههای فشرده جدائی پذیر روی نظریه زمینه ای ‏‎rca‎‏، معادل با لم ضعیف کونیگ می ب...

15 صفحه اول

میدان های بسته حقیقی و مدل های حساب پئانو

زیرحلقه مرتب گسسته ‎i‎ از میدان بسته حقیقی ‎r‎ یک بخش صحیح برای ‎r‎ گفته می شود هرگاه برای هر x در r‎ عضو ‎i در i‎ موجود باشد که ‎i < x < i+1‎. در حدود نیم قرن پیش شفردسون نشان داد که یک حلقه مرتب گسسته ‎i‎ یک بخش صحیح برای یک میدان مرتب بسته حقیقی ‎r‎ است اگر و تنها اگر ‎i‎ یک مدل استقرای باز باشد. در مقاله ای که این پایان نامه بر اساس آن نوشته می شود، نشان داده شده است که اگر بخش صحیح ‎i‎...

نظریه پیچیدگی و اندازه‌‌گیری پیچیدگی اکوسیستم‌‌ها در سیمای سرزمین

پیچیدگی مفهومی مبهم در بوم‌‌شناسی است که در مطالعه‌های مختلفی به منظور توصیف وضعیت یک اکوسیستم به کارگرفته شده است. نویسندگان بسیاری اذعان کرده‌‌اند که اکوسیستم نمونه‌‌ای از یک سیستم پیچیده است. کنش‌‌های متقابل میان موجودات منجر به پیچیدگی اکوسیستم‌‌ها می‌‌شود و کنش‌‌های متقابل میان موجودات و محیط‌‌ بی‌جان نیز بر این پیچیدگی تاثیر می‌‌گذارد. اکوسیستم‌‌ها از طریق فرایند خودسازمان‌‌دهی به سوی پیچ...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 24  issue شماره 35

pages  33- 54

publication date 2005-12-22

{@ msg @}

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023